On the Efficiency and Deficiency of Rees Matrix Semigroups
نویسندگان
چکیده
In this paper we combine results from [1] and [3] in order to determine the relationship between the deficiency of a group G and the deficiency of a Rees matrix semigroup S over G; in particular, we investigate how the efficiency of S depends on the efficiency of G. We start by defining semigroup and group presentations. Let A be an alphabet. We denote by A the free semigroup on A consisting of all nonempty words over A, and by F (A) the free group of all freely reduced words over A ∪ A−1 (including the empty word), where A−1 is an alphabet whose elements represent the inverses of elements of A. A semigroup presentation is an ordered pair 〈 A | R 〉, where R ⊆ A × A. If both A and R are finite then we have a finite presentation. A semigroup S is said to be defined by the semigroup presentation 〈 A | R 〉 if S ∼= A/ρ , where ρ is the congruence on A generated by R. Replacing A by F (A) in the above definitions yields the notions of a group presentation and of a group defined by a presentation. For basic facts about semigroup and group presentations see any standard introductory texts on semigroups and groups, such as [6], [8] and [10]. We define the deficiency of a finite presentation P = 〈A|R〉 to be |R|−|A|. The semigroup deficiency of a finitely presented semigroup S is the minimum deficiency of any semigroup presentation P defining S: defS(S) = min{ def(P) | P is a finite semigroup presentation that defines S }. We define the group deficiency defG(G) of a finitely presented group analogously, using finite group presentations:
منابع مشابه
Function spaces of Rees matrix semigroups
We characterize function spaces of Rees matrixsemigroups. Then we study these spaces by using the topologicaltensor product technique.
متن کاملOn certain semigroups of transformations that preserve double direction equivalence
Let TX be the full transformation semigroups on the set X. For an equivalence E on X, let TE(X) = {α ∈ TX : ∀(x, y) ∈ E ⇔ (xα, yα) ∈ E}It is known that TE(X) is a subsemigroup of TX. In this paper, we discussthe Green's *-relations, certain *-ideal and certain Rees quotient semigroup for TE(X).
متن کاملAutomatic Rees Matrix Semigroups
We consider the preservation of the properties of automaticity and prefix-automaticity in Rees matrix semigroups over semigroupoids and small categories. Some of our results are new or improve upon existing results in the single-object case of Rees matrix semigroups over semigroups.
متن کاملOn Rees Matrix Representations of Abundant Semigroups with Adequate Transversals
The concepts of ∗-relation of a (Γ-)semigroup and Γ̄-adequate transversal of a (Γ-)abundant semigroup are defined in this note. Then we develop a matrix type theory for abundant semigroups. We give some equivalent conditions of a Rees matrix semigroup being abundant and some equivalent conditions of an abundant Rees matrix semigroup having an adequate transversal. Then we obtain some Rees matrix...
متن کاملOn semigroups with PSPACE-complete subpower membership problem
Fix a finite semigroup S and let a1, . . . , ak , b be tuples in a direct power S. The subpower membership problem (SMP) for S asks whether b can be generated by a1, . . . , ak. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups wit...
متن کامل